// console.c
void            consputc(int);

// printf.c
int             printf(char*, ...) __attribute__ ((format (printf, 1, 2)));
void            panic(char*) __attribute__((noreturn));

// proc.c
int             cpuid(void);

// trap.c
void            trapinithart(void);

// uart.c
void            uartinit(void);
void            uartputc_sync(int);
